Thực đơn
Hệ_thống_kiểu Kiểm tra kiểuQuán trình kểm tra và thực thi các ràng buộc của kiểu—kiểm tra kiểu (type checking)— có thể xảy ra ở thời gian biên dịch (kiểm tra tĩnh) hoặc thời gian chạy. Nếu một đặc tả ngôn ngữ yêu cầu các quy tắc kiểu mạnh (ví dụ, chỉ cho phép ít hay nhiều việc chuyển đổi kiểu tự động mà không làm mất thông tin), quá trình đó gọi là kiểu mạnh, còn không, gọi là kiểu yếu. Các thuật ngữ này thường không được dùng theo nghĩa chặt chẽ.
Kiểm tra kiểu tĩnh (static type checking) là quá trình xác minh an toàn kiểu của một chương trình dựa vào sự phân tích văn bản (mã nguồn) của chương trình. Nếu một chương trình vượt qua được bộ kiểm tra kiểu tĩnh, khi đó chương trình đảm bảo đáp ứng được một số đặc tính an toàn cho tất cả đầu vào.
Kiểm tra kiểu động (dynamic type checking) là quá trình xác minh an toàn kiểu của chương trình vào thời gian chạy.
Một số ngôn ngữ cho phép cả kiểm tra kiểu tĩnh và động, đôi khi gọi là kiểm tra kiểu mềm (soft typing).
Cần sự đánh đổi nhất định khi lựa chọn giữa kiểm tra kiểu tĩnh và động.
Một số ngôn ngữ cho phép các mức độ kiểm tra kiểu khác nhau áp dụng cho từng vùng mã khác nhau.
Nó được đề xuất chủ yếu bởi Gilad Bracha, cho phép lựa chọn hệ thống kiểu có thể độc lập với lựa chọn ngôn ngữ; như vậy một hệ thống kiểu nên là một mô đun để có thể gắn vào một ngôn ngữ khi cần.
Thực đơn
Hệ_thống_kiểu Kiểm tra kiểuLiên quan
Hệ thống giao thông Việt Nam Hệ thống nội màng Hệ thống bảo tàng Paris Hệ thống phân giải tên miền Hệ thống đo lường Planck Hệ thống đường cao tốc Việt Nam Hệ thống X Window Hệ thống điện khí hóa đường sắt Hệ thập lục phân Hệ thống đẳng cấp Vovinam Việt Võ ĐạoTài liệu tham khảo
WikiPedia: Hệ_thống_kiểu http://cdsmith.wordpress.com/2011/01/09/an-old-art... http://lucacardelli.name/Papers/OnUnderstanding.A4... http://lucacardelli.name/Papers/TypeSystems.pdf http://tratt.net/laurie/research/publications/html... //dx.doi.org/10.1145%2F6041.6042 //www.worldcat.org/issn/0360-0300